difference hierarchyの例文

例文

1. The same works for all levels of the Borel hierarchy and the difference hierarchy.
2. From the existence of more measurable cardinals, one can prove the determinacy of more levels of the difference hierarchy over "'? "'1 1.
3. A weaker principle  the existence of 0 # is sufficient to prove coanalytic determinacy, and a little bit more : The precise result is that the existence of 0 # is equivalent to the determinacy of all levels of the difference hierarchy below the ? 2 level, i . e . ?穘-"'? "'1 1 determinacy for every n.